Buy Used and New María Alpuente Books

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... / Programming and Software Engineering)

by

ISBN 13: 9783642045691

Format: Paperback (213 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings: 5079 (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540691631

Format: Paperback (379 pages)
Publisher: Springer
Published: 01 Jul 2008

Save for later

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected ... Computer Science and General Issues)

by

ISBN 13: 9783642205507

Format: Paperback (259 pages)
Publisher: Springer
Published: 02 May 2011

Save for later